基于Petri网的案例推理研究

介绍Petri网的知识表示方法以及案例推理机制的相关内容,提出了一种基于Petri网的案例推理模型,给出了相应的案例检索匹配算法,并将该模型和检索算法应用到网络攻防态势推演系统中,最后重点介绍了该系统的案例库的知识表示。     

应急装备保障多阶段长途运输模型研究

通过对应急装备保障实际场景的分析，提出装备应急运输过程应分2个不同的阶段进行研究。重点讨论了第1阶段涉及的运输问题，并建立相应数学模型。通过数学软件matlab实现了模型的求解，最后通过算例分析证明了模型的有效性。为相关运输问题的解决提供了一种有效的方法。     

面向作战任务的作战系统动态集成框架

针对未来信息化战争的特点和要求,世界各主要军事强国都在为构建信息化军队进行各种创新和改革.面向作战任务的作战系统动态集成(Operational Task Oriented Dynamic Meta-Synthesis of Operational System:OTDMS)的军事需求日益迫切,首先提出了OTDMS的基本概念,总结了OTDMS的本质特征,并在上述基础上,分析了OTDMS的全生命周期,构建了OTDMS体系结构.最后,对其运行的基础设施环境进行了描述与分析.     

混合信号边界扫描测试控制系统的设计实现

现代装备火控系统中混合信号电路越来越普及,为了实现对其快速故障诊断,以IEEE 1149.4标准为依据,设计实现了一个基于边界扫描技术的数模混合信号测试控制系统。仿真实验表明,该测试控制系统操作简便,测试准确,测试效果好,为装备电子系统机内测试应用奠定了基础。     

汉乐府名篇教学探析

乐府是汉代文学的重要部分，对五言诗歌的成熟起了极为重要的作用。在古代文学的教学过程中，将汉乐府和先秦时期的诗经、楚辞进行比较，从思想内容、叙事艺术、人物形象等方面解读汉乐府中的名篇，可以让学生更好地理解掌握汉代文学的特点。     

满足大动压模拟要求的试验弹道优化设计

为了解决弹道导弹在高海拔发射场进行飞行试验时的大动压检验问题,提出一种模拟大动压条件的试验弹道设计方法。针对发射场的实际特点,建立残骸再入的动力学模型与落区边界模型;将大动压模拟条件转化为过程约束,提出一种主动段联合优化策略。基于自适应模拟退火算法,分别设计了三组满足不同大动压模拟条件和各项约束的试验弹道,并给出了对应的落区调整方案,验证了该方法的可行性。设计结果表明,最大动压主要出现在一级,一级最大负攻角增加,则最大动压也明显提高;同时调整发射方位角和二、三级程序角可以保证试验弹道满足弹头落点约束条件。     

多个并行并联的作战单元备件优化配置建模

资源优化配置是作战单元维修保障的关键因素.对作战单元部件备件满足率进行研究的基础上,针对任务时序逻辑关系为完全并行并联关系的情况,建立了多个作战单元任务的任务成功概率模型.在满足任务成功概率约束条件下,给出了多个作战单元备件携行量优化模型,并运用边际分析法进行了求解,通过算例证明了模型的正确性.     

战术互联网模拟训练系统军事总体问题研究

军事总体设计是技术总体设计的基础,是模拟训练系统设计的首要任务.对于战术互联网模拟训练系统军事总体设计中的有关问题,采用对比和比较法,对系统军事总体需求和框架进行了研究,明确了战术互联网模拟训练系统的训练方式、使用流程、功能体系等内容,为下一步系统的技术总体方案设计以及实现奠定了良好基础.     

基于声诱饵对抗的火箭助飞鱼雷命中概率仿真

针对舰艇使用火箭助飞鱼雷与潜艇对抗的典型样式,分别建立了潜艇自航式声诱饵对抗声自导鱼雷模型、火箭助飞鱼雷对目标提前位置射击参数解算模型、鱼雷运动模型、潜艇机动模型和命中概率计算模型,采用模拟法计算了火箭助飞鱼雷单雷射击和双雷齐射的命中概率,总结了射击距离和潜艇航速对火箭助飞鱼雷命中概率的影响,研究结论可为火箭助飞鱼雷作战使用提供理论指导。